Pointers are not unique identifiers!

Consider the following code:

void thread1